Seminar: Typ­Inferenz

Dozent Martin Plümicke
Sprechstunde n. V.
Zeit n.V.
Umfang 2
Beginn n.V.
Vorbesprechung Donnerstag, 13. Februar 1997, 14 Uhr
Ort Sand 13, Raum 107/108 (Japanbibliothek)
Prüfungsfach 4st. Theoretische Informatik

Beschreibung:
Wir werden uns im Seminar mit Typ­Inferenz in funktionalen Programmiersprachen beschäftigen. Unter Typ­Inferenz versteht man die automatische Herleitung der Typen von Funktionsdeklarationen zur Übersetzungszeit.
Zunächst wollen wir uns das Typsystem von sml [MTH90] näher ansehen und daran einige Grundbegriffe der Typentheorie in funktionalen Sprachen lernen. Dieses Typsystem wird dann sukzessive erweitert zu dem Typsystem von Haskell [Pau96] und Gofer [Jon94].

Voraussetzungen:
Grundstudium Informatik. Es ist von Vorteil, ein wenig Erfahrung mit Funktionalen Sprachen PT94 zu haben (z.B. Vorlesung Compilerbau).

Literatur:

    [Jon94]

 Mark P. Jones. Gofer, September 1994.

    [MTH90]

 Robin Milner, Mads Tofte, and Robert Harper. The definition of Standard ML. MIT Press, Cambridge, Mass. u.a., 1990.

    [Pau96]

 Paul Hudak and Simon Peyton Jones and Philip Wadler and others. Report on the Programming Language (Haskell), Version 1.3, May 1996.

    [Thi94]

 Peter Thiemann. Grundlagen der funktionalen Programmierung. Teubner, 1994.

Zurück zur Übersicht